﻿<?xml version="1.0" encoding="utf-8" ?>
<kb>
  <syntax symbol="no-answer">
    <text>Huh?</text>
    <text>What?</text>
  </syntax>

  <word>Clu</word>
  <word>chatbot</word>
  <word>program</word>
  <word>programmer</word>
  <word>human</word>
  <word>creator</word>

  <syntax symbol="instance-of">
    <text>(%X) is (%Y)</text>
    <text>(%X) instance of (%Y)</text>
  </syntax>

  <statement>(#clu) (#instance-of) (#chatbot)</statement>
  <statement>(#clu) (#instance-of) (#program)</statement>|
  
  <statement>(#chatbot) (#instance-of) (#thing)</statement>
  <statement>(#program) (#instance-of) (#thing)</statement>|  
  
  <statement>(#clu) (#created-by) (#creator)</statement>
  <statement>(#creator) (#instance-of) (#programmer)</statement>
  <statement>(#creator) (#instance-of) (#human)</statement>

  <statement>(#clu) (#mutex) (#human)</statement> 
  
  <statement>(%X) (#instance-of) (%X)</statement> 

  <implication>
    <antecedent>(%X) (#mutex) (%Y)</antecedent>
    <antecedent>(%Z) (#instance-of) (%X)</antecedent>
    <consequent>#not ((%Z) (#instance-of) (%Y))</consequent>
  </implication>
  
  <implication>
    <antecedent>(%Y) (#mutex) (%Z)</antecedent>
    <antecedent>(%Z) (#instance-of) (%X)</antecedent>
    <consequent>#not ((%Z) (#instance-of) (%Y))</consequent>
  </implication> 
  
  <!--<transaction>
    <given>(%X) (#instance-of) (%Y)</given>
    <message>What is (%X) ?</message>
    <message>(%Y)</message>
  </transaction>
  
  <transaction>
    <given>(%X) (#instance-of) (%Y)</given>
    <message>Is (%X) (%Y) ?</message>
    <message>Yes</message>
  </transaction>-->
  
  <transaction>
    <given>#not ((%X) (#instance-of) (%Y))</given>
    <message>Is (%X) (%Y) ?</message>
    <message>No</message>
  </transaction>
</kb>